Received: from virtual.bbc.co.uk (virtual.bbc.co.uk [132.185.132.199])
by odie.barnet.ac.uk (8.8.6/8.8.6) with ESMTP id OAA23467
for <willy@odie.barnet.ac.uk>; Sat, 13 Jun 1998 14:52:40 +0100
Received: from nic.funet.fi (nic.funet.fi [128.214.248.6])
by virtual.bbc.co.uk (8.8.5/8.8.5) with ESMTP id OAA18020
for <willy@bofh.ai>; Sat, 13 Jun 1998 14:53:50 +0100 (BST)
Received: from vger.rutgers.edu ([128.6.190.2]:29805 "EHLO vger.rutgers.edu" ident: "root") by nic.funet.fi with ESMTP id <11089-684>; Sat, 13 Jun 1998 16:53:00 +0300
Received: by vger.rutgers.edu id <972269-218>; Sat, 13 Jun 1998 09:29:40 -0400
Received: from post-12.mail.demon.net ([194.217.242.41]:37046 "HELO post.mail.demon.net" ident: "NO-IDENT-SERVICE[2]") by vger.rutgers.edu with SMTP id <972257-218>; Sat, 13 Jun 1998 09:11:39 -0400
Received: from (latrigg.demon.co.uk) [158.152.64.157]
by post.mail.demon.net with smtp (Exim 1.82 #2)
id 0yklfX-0003mg-00; Sat, 13 Jun 1998 09:28:11 +0100
Date: Fri, 12 Jun 1998 22:22:48 +0100 (BST)
From: Chris Pringle <cpringle@latrigg.demon.co.uk>
Subject: How do I create a kernel?
To: Linux Mailing List <linux-arm@vger.rutgers.edu>